higher-order predicate

高价谓词